<?
  $scriptFilename = $_SERVER['SCRIPT_FILENAME'];
  $scriptFilename = preg_replace("#^.*/([a-z]+)\.php$#", "\\1", $scriptFilename);
  //echo $scriptFilename;

  function active($menu) {
    global $scriptFilename;
    if ($scriptFilename == $menu) {
      echo(' class="active"');
    }
  }
?>
<div id="menu">
  <div id="menu-inner">
    <ul>
      <li>
        <a href="index.php" title="Startseite"<? active("index"); ?>>Home</a>
      </li>
      <li>
        <a href="konfliktmanagement.php" title="Konfliktmanagement"<? active("konfliktmanagement"); ?>>Konfliktmanagement</a>
      </li>
      <li>
        <a href="jagdlogistik.php" title="Jagdlogistik"<? active("jagdlogistik"); ?>>Jagdlogistik</a>
      </li>
      <li>
        <a href="jagdorganisation.php" title="jagdorganisation"<? active("jagdorganisation"); ?>>Jagdorganisation</a>
      </li>
      <!--
      <li>
        <a href="wildtiermanagement.php" title="Wildtiermanagement"<? active("wildtiermanagement"); ?>>Wildtiermanagement</a>
      </li>
      -->
      <li>
        <a href="bejagung.php" title="Bejagung"<? active("bejagung"); ?>>Bejagung</a>
      </li>
      <li>
        <a href="revierpflege.php" title="Revierpflege"<? active("revierpflege"); ?>>Revierpflege</a>
      </li>
      <li>
        <a href="kontakt.php" title="Kontakt"<? active("kontakt"); ?>>Kontakt</a>
      </li>
      <li>
        <a href="impressum.php" title="Impressum"<? active("impressum"); ?>>Impressum</a>
      </li>
    </ul>
  </div>
</div>